class start {
  __attribute__ ((annotate ("an annotation"))) start();
};
